CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 6 of 6 Results
1.
Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008 Malaga, Spain, O...
Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008 Malaga, Spain, O... by Degano, Pierpaolo, Guttman,... ISBN: 9783642014642 List Price: $74.95
$51.31 (Save 31%)
2.
Principles of Security and Trust
Principles of Security and Trust by Degano, Pierpaolo, Guttman,... ISBN: 9783642286407 List Price: $95.00
$51.31 (Save 45%)
3.
Vlisp A Verified Implementation of Scheme
Vlisp A Verified Implementation of Scheme by Guttman, Joshua D. ISBN: 9780792395669 List Price: $185.00
$158.63 (Save 14%)
4.
Formal Aspects in Security and Trust : 6th International Workshop, FAST 2009, Eindhoven, the...
Formal Aspects in Security and Trust : 6th International Workshop, FAST 2009, Eindhoven, the... by Degano, Pierpaolo, Guttman,... ISBN: 9783642124587 List Price: $72.00
$51.31 (Save 28%)
5.
VLISP a Verified Implementation of Scheme : A Special Issue of Lisp and Symbolic Computation...
VLISP a Verified Implementation of Scheme : A Special Issue of Lisp and Symbolic Computation... by Guttman, Joshua D., Wand, M... ISBN: 9781461359913 List Price: $185.00
$155.49 (Save 15%)
6.
Foundations of Security, Protocols, and Equational Reasoning : Essays Dedicated to Catherine...
Foundations of Security, Protocols, and Equational Reasoning : Essays Dedicated to Catherine... by Guttman, Joshua D., Landweh... ISBN: 9783030190514 List Price: $69.99
$52.33 (Save 25%)